module hello-world where

open import IO

main = run(putStrLn "Hello, World!")